Microsoft anuncia demissão de 10 mil funcionários